Definition and Design of Strongly Language Disjoint Checkers
نویسندگان
چکیده
This paper defines strongly language disjoint (SLD) checkers. SLD checkers are to sequential systems what strongly code disjoint checkers are to combinational systems. SLD checkers are the largest class of checkers with which a functional system may achieve the TSC goal. Self-checking sequential systems are first addressed, then formal definitions of SLD checkers are given. The next point is the design of SLD checkers based on regular combinational self-checking components.
منابع مشابه
Hierarchical analysis of high frequency interconnect networks
able to map each input noncode word to an output noncode word, and thus, the SCD property of the whole checker is not lost. Examples illustrating the points a, b, and c have been given in another report [171. V. CONCLUSIONS The paper discusses some important aspects of self-checking checkers and highlights some problems concerning the necessity of the fault secure property for SCD checkers. Som...
متن کاملReliability assessment of power distribution systems using disjoint path-set algorithm
Finding the reliability expression of different substation configurations can help design a distribution system with the best overall reliability. This paper presents a computerized a nd implemented algorithm, based on Disjoint Sum of Product (DSOP) algorithm. The algorithm was synthesized and applied for the first time to the determination of reliability expression of a substation to determine...
متن کاملTowards a definition of intake in second language acquisition
Intake is a concept that has long fascinated second language researchers as it provides a window onto the crucial intermediary stage between input and acquisition. A better understanding of this intermediary stage can help us to distinguish between input that is used for immediate (e.g. communicative) purposes only and input that is drawn on for learning. This articl...
متن کاملنگرانی و رابطه آن با زیرمجموعه های وارسی و شستشوی اختلال وسواسی ـ اجباری
The aim of this research was to study worry and emotional processing indicators in individuals with OCD and to compare the checking and washing subtypes of this disorder. Sixty individuals with OCD (30 checkers and 30 washers) and 60 individuals as control (30 anxious and 30 normal) were selected and were matched in demographic characteristics with the checker group. The OCD were interviewed us...
متن کاملComparing the word definition skill between children with cochlear implant and normal children.
Background:word definition is a linguistic and Meta linguistic skill related to the development of language, academic success and intellectual function. There is a littleresearch in the field of word definition in children with cochlear implant (CI) in Iran. Therefore, the purpose of this study was to examine and compare the word definition in children with CI with normal children. Methods: In...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- IEEE Trans. Computers
دوره 37 شماره
صفحات -
تاریخ انتشار 1988